Feeds to Scour
SubscribedAll
Scoured 9531 posts in 127.5 ms
Evaluating Large Language Models on Solved and Unsolved Problems in Graph Theory: Implications for Computing Education
arxiv.org·2d
🧩Parser Combinators
These Mathematicians Are Trying to Educate A.I.
nytimes.com
·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Oatmeal - Constraint propagation for fun
eli.li·16h·
Discuss: Lobsters
🧮SMT Solvers
Hello World: Algorithmic Trading & DeFi Logic
dev.to·5h·
Discuss: DEV
🔀Brzozowski Derivatives
The Future of Software Engineering
poberezkin.com·25m·
Discuss: Hacker News
🤖Program Synthesis
First Proof | Research-Level Math for AI Evaluation
1stproof.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Time-Complexity Characterization of NIST Lightweight Cryptography Finalists
arxiv.org·2d
⏱️Computational Complexity
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·1d·
Discuss: Hacker News
🧮Z3
Is Your Machine Learning Pipeline as Efficient as it Could Be?
kdnuggets.com·2d
🧮SMT Solvers
Deep dive into Hierarchical Navigable Small Worlds
amandeepsp.github.io·19h·
Discuss: Hacker News, r/Zig, r/programming
🕸️Graph Theory
Knowledge-Creating LLMs
tecunningham.github.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
In (highly contingent!) defense of interpretability-in-the-loop ML training
lesswrong.com·2d
🔁Fixed-Point Theory
EBM vs. LLMs: Our Kona EBM a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com·2d·
Discuss: Hacker News
⏱️Computational Complexity
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·7h·
Discuss: Hacker News
📐Hoare Logic
Human-like Search for Modern Applications
anvitra.ai·17h·
Discuss: Hacker News
📐Linear Algebra
LLMs Are Prediction Machines
kaelandt.github.io·47m·
Discuss: Hacker News
📚Automata Learning
Jokes on You AI: Turning the Tables
dev-log.me·7h·
Discuss: Hacker News
🎮Verification Games
A Simple Method for Commonsense Reasoning
dev.to·8h·
Discuss: DEV
📚Automata Learning
I struggled with system design until I learned these 114 concepts
newsletter.systemdesign.one
·1d
⚙️Operating System Design
Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU
github.com·1d·
Discuss: Hacker News, r/LocalLLaMA
🐫Embedded OCaml

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help